navigation circuit simulation eda cad analog cnc circuit simulator magellan autocad cam hierarchical take formal methods design for manufacturing implied intent model checking testing gps verification design garmin